2

Linear cellular automata, finite automata and Pascal's triangle

Year:
1996
Language:
english
File:
PDF, 1.28 MB
english, 1996
5

Transcendence of Binomial and Lucas' Formal Power Series

Year:
1998
Language:
english
File:
PDF, 120 KB
english, 1998
6

Some models of combinatory logic

Year:
1976
Language:
english
File:
PDF, 172 KB
english, 1976
8

Mathematical Logic and Its Applications ||

Year:
1987
Language:
english
File:
PDF, 31.55 MB
english, 1987
9

An Impossible Difference Condition: 11074

Year:
2006
Language:
english
File:
PDF, 281 KB
english, 2006
10

11074

Year:
2004
File:
PDF, 97 KB
2004
11

11074

Year:
2004
Language:
english
File:
PDF, 97 KB
english, 2004
12

A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces

Year:
1978
Language:
english
File:
PDF, 473 KB
english, 1978
13

The First Recursion Theorem for Iterative Combinatory Spaces

Year:
1979
Language:
english
File:
PDF, 400 KB
english, 1979
14

Some subrecursive versions of Grzegorczyk's Uniformity Theorem

Year:
2004
Language:
english
File:
PDF, 92 KB
english, 2004
15

On Van Gelder's loop detection algorithm

Year:
1992
Language:
english
File:
PDF, 159 KB
english, 1992
16

Scaling properties of generalized Carlitz sequences of polynomials

Year:
2004
Language:
english
File:
PDF, 540 KB
english, 2004
17

Self-generating sets, integers with missing blocks, and substitutions

Year:
2005
Language:
english
File:
PDF, 220 KB
english, 2005
18

Schur congruences, Carlitz sequences of polynomials and automaticity

Year:
2000
Language:
english
File:
PDF, 192 KB
english, 2000
19

Remarks on permutive cellular automata

Year:
2003
Language:
english
File:
PDF, 164 KB
english, 2003
20

Linear cellular automata and automatic sequences

Year:
1997
Language:
english
File:
PDF, 971 KB
english, 1997
21

Decimation-invariant sequences and their automaticity

Year:
2001
Language:
english
File:
PDF, 327 KB
english, 2001
23

Dimension-increasing mappings

Year:
1970
Language:
english
File:
PDF, 277 KB
english, 1970
25

Embedding of iterative post algebras in a semigroup

Year:
1982
Language:
english
File:
PDF, 623 KB
english, 1982
26

Automatic maps in exotic numeration systems

Year:
1997
Language:
english
File:
PDF, 1.66 MB
english, 1997
27

On a class of bases for boolean functions

Year:
2009
Language:
english
File:
PDF, 172 KB
english, 2009
29

-computability of e, π and Other Famous Constants

Year:
2008
Language:
english
File:
PDF, 236 KB
english, 2008
30

Dimension-raising theorems for cohomological and extension dimensions

Year:
2008
Language:
english
File:
PDF, 203 KB
english, 2008
31

Mathematical Logic and Its Applications || Modal Environment for Boolean Speculations

Year:
1988
Language:
english
File:
PDF, 1.57 MB
english, 1988
34

Self-Similar Functions Generated by Cellular Automata

Year:
1998
Language:
english
File:
PDF, 821 KB
english, 1998
36

VON KOCH AND THUE-MORSE REVISITED

Year:
2007
Language:
english
File:
PDF, 117 KB
english, 2007
37

AUTOMATIC MAPS ON A SEMIRING WITH DIGITS

Year:
1995
Language:
english
File:
PDF, 730 KB
english, 1995
40

LIMIT SETS OF RESTRICTED RANDOM SUBSTITUTIONS

Year:
2006
Language:
english
File:
PDF, 292 KB
english, 2006
43

Coincidence theorems for M -like continua

Year:
2002
Language:
english
File:
PDF, 478 KB
english, 2002
44

Formula2-computable real numbers

Year:
2012
Language:
english
File:
PDF, 273 KB
english, 2012
45

RESOLUTIONS CORRESPONDING TO CLOSED MAPPINGS

Year:
1971
File:
PDF, 1.77 MB
1971
46

ZARELUA RESOLUTIONS

Year:
1980
File:
PDF, 221 KB
1980
48

On Some Computability Notions for Real Functions

Year:
2013
File:
PDF, 146 KB
2013